Wrapping a real-time operating system with an OSEK compliant interface - a feasibility study
نویسندگان
چکیده
The drive towards standardization in the automotive sector puts a lot of pressure on software suppliers to comply with standards such as OSEK and AUTOSAR. However, many of these suppliers have a vested interest in proprietary software and are seeking ways to migrate their existing code-base to comply to these standards. This paper reports on a feasibility study to wrap a proprietary real-time operating system with an OSEK compliant interface. Besides investigating whether this is feasible, we also assess the performance impact in terms of computation time and memory consumption, as this is critically important for real-time systems. As such, we evaluate the typical trade-offs one has to make when adopting an incremental migration strategy towards a standard compliant interface.
منابع مشابه
Analysis of Osek/vdx Based Automotive Applications
The aim of this article is to show, how an automotive real-time software application running under real-time operating system compliant with OSEK/VDX standard can be modelled by timed automata. The application under consideration consists of several basic or extended tasks, it includes resource sharing and synchronisation by events. For such system, model checking theory based on timed automata...
متن کاملFormal Verification of Osek/vdx Based Applications
This article shows, how a preemptive multitasking application running under a real-time operating system compliant with OSEK/VDX standard can be modeled by timed automata. The application under consideration consists of several tasks, it includes synchronization by events and resource sharing. For such system, model-checking theory based on timed automata and implemented in model-checking tools...
متن کاملEfficient EDF Implementation for Small Embedded Systems
Modern embedded systems are often required to execute under stringent real-time constraints to satisfy high performance requirements. When the available computational resources are scarce, an efficient implementation of the scheduler is of crucial importance for containing system costs. In this paper, we present an efficient implementation of the Earliest Deadline First (EDF) scheduler, which i...
متن کاملIssues in Mapping from UML Real-Time Profile to OSEK API
UML Profile for Schedulability, Performance and Time is designed to add standard real-time extensions to UML in order to facilitate real-time analysis capabilities, such as rate monotonic analysis, based on the profile. In this paper we explore issues involved in generating code for the OSEK API, which is a popular realtime operating systems standard in the automotive industry.
متن کاملTimed Automata Model of Preemptive Multitasking Applications
The aim of this article is to show, how a multitasking application running under a real-time operating system compliant with the OSEK/VDX standard can be modeled by timed automata. The application under consideration consists of several tasks, it includes resource sharing and synchronization by events. For such system, model-checking theory based on timed automata and implemented in model-check...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009